Identifying Patch Correctness in Test-Based Program Repair

Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches. To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. The core idea is to exploit the behavior similarity of test case executions. The passing tests on original and patched programs are likely to behave similarly while the failing tests on original and patched programs are likely to behave differently. Also, if two tests exhibit similar runtime behavior, the two tests are likely to have the same test results. Based on these observations, we generate new test inputs to enhance the test suites and use their behavior similarity to determine patch correctness. Our approach is evaluated on a dataset consisting of 139 patches generated from existing program repair systems including jGenProg, Nopol, jKali, ACS and HDRepair. Our approach successfully prevented 56.3\% of the incorrect patches to be generated, without blocking any correct patches.Comment: ICSE 201

Effect of dexmedetomidine on postoperative delirium in patients undergoing awake craniotomies: study protocol of a randomized controlled trial

Abstract Introduction Postoperative delirium (POD) is a common complication, and it has a high incidence in neurosurgery patients. Awake craniotomy (AC) has been widely performed in patients with glioma in eloquent and motor areas. Most of the surgical procedure is frontotemporal craniotomy, and the operation duration has been getting longer. Patients undergoing AC are high-risk populations for POD. Dexmedetomidine (Dex) administration perioperatively might help to reduce the incidence of POD. The purpose of this study is to investigate the effect of Dex on POD in patients undergoing AC. Methods The study is a prospective, single-center, double-blinded, paralleled-group, randomized controlled trial. Patients undergoing elective AC will be randomly assigned to the Dex group and the control group. Ten minutes before urethral catheterization, patients in the Dex group will be administered with a continuous infusion at a rate of 0.2 µg/kg/h until the end of dural closure. In the control group, patients will receive an identical volume of normal saline in the same setting. The primary outcome will be the cumulative incidence and severity of POD. It will be performed by using the confusion assessment method in the first 5 consecutive days after surgery. Secondary outcomes include quality of intraoperative awareness, stimulus intensity of neurological examination, pain severity, quality of recovery and sleep, and safety outcomes. Discussion This study is to investigate whether the application of Dex could prevent POD in patients after undergoing AC and will provide strong evidence-based clinical practice on the impact of intraoperative interventions on preventing POD in AC patients. Trial registration ClinicalTrials.gov, NCT05195034. Registered on January 18, 2022

Additional file 1 of Effect of dexmedetomidine on postoperative delirium in patients undergoing awake craniotomies: study protocol of a randomized controlled trial

Additional file 1. SPIRIT checklist

Table_1_Risk factors for postoperative thrombosis-related complications in patients undergoing malignant brain tumor resection: a retrospective cohort study.docx

IntroductionPatients with malignant brain tumors frequently exhibit hypercoagulation and are at a high risk of postoperative thrombosis-related complications. However, the risk factors for postoperative thrombosis-related complications remain unclear.MethodsIn this retrospective, observational study, we consecutively enrolled elective patients undergoing resection of malignant brain tumors from 26 November 2018 to 30 September 2021. The primary objective of the study was to identify risk factors for a composite of three major adverse events including postoperative lower limb deep venous thrombosis, pulmonary embolism, and cerebral ischemia.ResultsA total of 456 patients were enrolled in this study, where 112 (24.6%) patients had postoperative thrombosis-related complications, 84 (18.4%) with lower limb deep venous thrombosis, 0 (0.0%) with pulmonary embolism, and 42 (9.2%) with cerebral ischemia. In a multivariate model, age more than 60 years (OR: 3.98, 95% CI: 2.30–6.88, P ConclusionPatients with craniocerebral malignant tumors have a high incidence of postoperative thrombosis-related complications. There is an increase in the odds of postoperative lower limb deep venous thrombosis in patients; over 60 years old, with preoperative abnormal APTT, undergoing surgeries longer than 5-h, admission to ICU, or receiving intraoperative plasma infusion. Fresh frozen plasma infusion should be used more cautiously, especially in patients with a high risk of thrombosis.</p

Endoscopic ultrasound-guided drainage of pelvic abscess: a systematic review and meta-analysis

As an emerging minimally invasive technology, endoscopic ultrasound (EUS) has been reported to treat pelvic abscess instead of surgical or image-guided percutaneous drainage (PCD) under certain conditions. The aim of this study was to assess the efficacy and safety of EUS-guided drainage for patients with pelvic abscesses. We conducted a comprehensive literature search on PubMed, Embase, Cochrane Library, and Web of Science databases (inception–March 2022). The main outcomes were technical success, clinical success, and complications. Comprehensive meta-analysis software was used to calculate the pooled event rate. Twelve studies containing 272 patients were included. These pelvic abscesses most frequently developed after abdominal and pelvic surgery (n = 180, 66.2%), inflammatory bowel disease (n = 32, 11.8%), and other inflammatory conditions. Respectively, the pooled technical and clinical success rate was 100% and 88.7% [95% confidence interval (CI): 83.8–92.2%, I2 = 1.0%, p 2 = 38.8%, p 2 = 0, p EUS-guided drainage of the pelvic abscess was feasible, effective, and safe. Further randomized-controlled studies with large-sample sizes were required in the future.</p

State of the art and prospects for halide perovskite nanocrystals

Metal-halide perovskites have rapidly emerged as one of the most promising materials of the 21st century, with many exciting properties and great potential for a broad range of applications, from photovoltaics to optoelectronics and photocatalysis. The ease with which metal-halide perovskites can be synthesized in the form of brightly luminescent colloidal nanocrystals, as well as their tunable and intriguing optical and electronic properties, has attracted researchers from different disciplines of science and technology. In the last few years, there has been a significant progress in the shape-controlled synthesis of perovskite nanocrystals and understanding of their properties and applications. In this comprehensive review, researchers having expertise in different fields (chemistry, physics, and device engineering) of metal-halide perovskite nanocrystals have joined together to provide a state of the art overview and future prospects of metal-halide perovskite nanocrystal research.Financiado para publicación en acceso aberto: Universidade de Vigo/CISUGMinisterio de Ciencia e Innovación | Ref. RYC2018-026103-IAgencia Estatal de Investigación | Ref. CTQ2017-82711-PMinisterio de Economía y Competitividad | Ref. MDM-2015-0538Agencia Estatal de Investigación | Ref. PID2019-107314RB-I0

State of the Art and Prospects for Halide Perovskite Nanocrystals.

Metal-halide perovskites have rapidly emerged as one of the most promising materials of the 21st century, with many exciting properties and great potential for a broad range of applications, from photovoltaics to optoelectronics and photocatalysis. The ease with which metal-halide perovskites can be synthesized in the form of brightly luminescent colloidal nanocrystals, as well as their tunable and intriguing optical and electronic properties, has attracted researchers from different disciplines of science and technology. In the last few years, there has been a significant progress in the shape-controlled synthesis of perovskite nanocrystals and understanding of their properties and applications. In this comprehensive review, researchers having expertise in different fields (chemistry, physics, and device engineering) of metal-halide perovskite nanocrystals have joined together to provide a state of the art overview and future prospects of metal-halide perovskite nanocrystal research